Optimising Obsidian Programs Through Derivations
نویسندگان
چکیده
منابع مشابه
Obsidian: GPU Programming in Haskell
Obsidian is a language for data-parallel programming embedded in Haskell. As the Obsidian programs are run, C code is generated. This C code can be compiled for an NVIDIA 8800 series GPU (Graphics Processing Unit), or for other high-end NVIDIA GPUs. The idea is that the style of programming used in Lava for structural hardware design [2] can be applied to data-parallel programming as well. Ther...
متن کاملInitial source evaluation of archaeological obsidian from the Kuril Islands of the Russian Far East using portable XRF
Obsidian artifacts recently have been recovered from 18 archaeological sites on eight islands across the Kuril Island archipelago in the North Pacific Ocean, suggesting a wide-ranging distribution of obsidian throughout the island chain over the last 2,500 years. Although there are no geologic sources of obsidian in the Kurils that are known to have been used prehistorically, sources exist in H...
متن کاملEmbedded Languages for Data-Parallel Programming
Computers today are becoming more and more parallel. General purpose processors (CPUs) have multiple processing cores and Single Instruction Multiple Data (SIMD) units for data-parallelism. Graphics processors (GPUs) bring massive parallelism at the cost of being harder to program than CPUs. This thesis applies embedded language methodology to data-parallel programming. Two embedded languages a...
متن کاملStrategies for Obtaining Obsidian in Pre-European Contact Era New Zealand
Archaeological evidence of people's choices regarding how they supply themselves with obsidian through direct access and different types of exchanges gives us insight in to mobility, social networks, and property rights in the distant past. Here we use collections of obsidian artefacts that date to a period of endemic warfare among Maori during New Zealand's Late Period (1500-1769 A.D.) to dete...
متن کاملConstraints on rheology of obsidian lavas based on mesoscopic folds
The geometry of mesoscopic single and multiple layer folds in rhyolitic obsidian ̄ows is investigated. Folds are composed of obsidian embedded in a matrix of pumice. Folds form by buckling processes as indicated by discontinuous deformation between obsidian and pumice layers and by the geometries of wavetrains. Buckling occurs through a continuum of styles controlled largely by the thickness ra...
متن کامل